document.write (" 18712 ");