document.write (" 4812 ");