document.write (" 12047 ");