document.write('6312 ');