document.write(' 4192 ');