document.write('6394 ');