document.write (" 3125 ");