document.write (" 12043 ");