document.write (" 5100 ");