write(2.^32-1);