document.write (" 20494 ");