document.write(' 4092 ');