document.write('4094 ');