document.write (" 12056 ");