document.write (" 20313 ");