document.write(' 4992 ');