( s 1 5)