document.write (" 5200 ");