document.write (" 5612 ");