document.write (" 4872 ");