document.write (" 12139 ");