document.write (" 7520 ");