document.write(' 5612 ');