document.write (" 12039 ");