document.write('6241 ');