document.write (" 20247 ");