document.write('8242 ');