Pool, no. 13522; Shamrock Hotel