document.write (" 20347 ");