document.write('6093 ');