document.write (" 4988 ");