document.write(' 4912 ');