document.write (" 4912 ");