s ) 512 (an