document.write(' 5112 ');