document.write (" 19520 ");