implicit integer(a-z)
    character(3)::ans="No"
    
    read(*,*)n
    
    imax=n/4
    jmax=n/7
    
    do j=0,jmax
    	do i=0,imax
        	if(i*4+j*7.eq.n) ans="Yes"
        end do
    end do
    
    write(*,*)ans
end 