document.write (" 72056 ");