document.write('8142 ');