document.write (12139);