document.write(' 4094 ');