document.write (" 7056 ");