document.write('1247 ');