document.write (" 20520 ");