document.write (" 4945 ");