document.write (" 12313 ");