document.write (" 3056 ");