document.write (" 13042 ");